Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000446 | Jasmin Christian Blanchette [France] ; Maximilian Haslbeck [Allemagne] ; Daniel Matichuk [France] ; Tobias Nipkow [Allemagne] | Mining the Archive of Formal Proofs |
| 001676 | Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne] | A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions |
| 004555 | Serge Autexier [Allemagne] ; Heiko Mantel [Allemagne] ; Stephan Merz [France] ; Tobias Nipkow [Allemagne] | Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems |
| 004E44 | Stephan Merz [France] ; Tobias Nipkow [Allemagne] | Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006) |
| This area was generated with Dilib version V0.6.33. |  |